Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
91	Downloaded from orbit.dtu.dk on: Aug 13, 2016 Formalization of Algorithms and Logical Inference Systems in Proof Assistants Schlichtkrull, Anders Published in: Add to Reading List Source URL: orbit.dtu.dk Language: English - Date: 2016-01-29 23:14:59 Logic Mathematical logic Abstraction Automated theorem proving Reasoning Syntax Theoretical computer science Artificial intelligence Automated reasoning Proof assistant Isabelle First-order logic
92	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
93	A Tactic Language for Hiproofs David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 3 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Mathematical logic Proof theory Mathematics Logic in computer science Deductive reasoning Natural deduction Sequent Denotational semantics Propositional calculus Sheaf
94	Sutra: International Journal of Mathematical Science Education © Technomathematics Research Foundation Vol. 3, No. 1, pp 43 – 52, 2010 Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2010-03-21 07:11:47 Constructible universe Mathematical analysis Probability distributions Operator theory Theoretical physics Proof theory Mathematics Generalised Whitehead product Table of stars with Bayer designations
95	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
96	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
97	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
98	nalytica an electronic, open-access journal for philosophy of science How to Learn Concepts, Consequences and Conditionals Add to Reading List Source URL: www.analytica.phs.uoa.gr Language: English - Date: 2016-07-11 06:07:38 Modal logic Logical connectives Conditionals Philosophical logic Philosophy of language Doxastic logic Material conditional Propositional calculus Strict conditional Proposition Mathematical proof Meaning
99	Acceptable Proofs for the Society of The Ark and The Dove 1. Civil records of birth, death, marriage or marriage intention or license. 2. Church records of baptism, birth, marriage, death, burial, admission, dismission. Add to Reading List Source URL: thearkandthedove.com Language: English - Date: 2013-09-21 07:34:18 Mathematical proof Genealogy NP Conflict of marriage laws
100	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic